#! /bin/bash
JUPITER=$1
shift
../../../$JUPITER $@ 2> /dev/null
